Inria International Partners

Informal International Partners

We have important collaborations with the team of Thierry Coquand at Chalmers and University of Göteborg.

We are setting up a collaboration with the team of Adam Chlipala at the Massachusetts Institute of Technology.